Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

In this paper, we present two alternative approaches to defining answer sets for logic programs with arbitrary types of abstract constraint atoms (c-atoms). These approaches generalize the fixpoint-based and the level mapping based answer set semantics of normal logic programs to the case of logic programs with arbitrary types of c-atoms. The results are four different answer set definitions which are equivalent when applied to normal logic programs. The standard fixpoint-based semantics of logic programs is generalized in two directions, called answer set by reduct and answer set by complement. These definitions, which differ from each other in the treatment of negation-as-failure (naf) atoms, make use of an immediate consequence operator to perform answer set checking, whose definition relies on the notion of conditional satisfaction of c-atoms w.r.t. a pair of interpretations. The other two definitions, called strongly and weakly well-supported models, are generalizations of the notion of well-supported models of normal logic programs to the case of programs with c-atoms. As for the case of fixpoint-based semantics, the difference between these two definitions is rooted in the treatment of naf atoms. We prove that answer sets by reduct (resp. by complement) are equivalent to weakly (resp. strongly) well-supported models of a program, thus generalizing the theorem on the correspondence between stable models and well-supported models of a normal logic program to the class of programs with c-atoms. We show that the newly defined semantics coincide with previously introduced semantics for logic programs with monotone c-atoms, and they extend the original answer set semantics of normal logic programs. We also study some properties of answer sets of programs with c-atoms, and relate our definitions to several semantics for logic programs with aggregates presented in the literature

Radiance and Doppler shift distributions across the network of the quiet Sun

The radiance and Doppler-shift distributions across the solar network provide observational constraints of two-dimensional modeling of transition-region emission and flows in coronal funnels. Two different methods, dispersion plots and average-profile studies, were applied to investigate these distributions. In the dispersion plots, we divided the entire scanned region into a bright and a dark part according to an image of Fe xii; we plotted intensities and Doppler shifts in each bin as determined according to a filtered intensity of Si ii. We also studied the difference in height variations of the magnetic field as extrapolated from the MDI magnetogram, in and outside network. For the average-profile study, we selected 74 individual cases and derived the average profiles of intensities and Doppler shifts across the network. The dispersion plots reveal that the intensities of Si ii and C iv increase from network boundary to network center in both parts. However, the intensity of Ne viii shows different trends, namely increasing in the bright part and decreasing in the dark part. In both parts, the Doppler shift of C iv increases steadily from internetwork to network center. The average-profile study reveals that the intensities of the three lines all decline from the network center to internetwork region. The binned intensities of Si ii and Ne viii have a good correlation. We also find that the large blue shift of Ne viii does not coincide with large red shift of C iv. Our results suggest that the network structure is still prominent at the layer where Ne viii is formed in the quiet Sun, and that the magnetic structures expand more strongly in the dark part than in the bright part of this quiet Sun region.Comment: 10 pages,9 figure

Upflows in the upper transition region of the quiet Sun

We investigate the physical meaning of the prominent blue shifts of Ne VIII, which is observed to be associated with quiet-Sun network junctions (boundary intersections), through data analyses combining force-free-field extrapolations with EUV spectroscopic observations. For a middle-latitude region, we reconstruct the magnetic funnel structure in a sub-region showing faint emission in EIT-Fe 195. This funnel appears to consist of several smaller funnels that originate from network lanes, expand with height and finally merge into a single wide open-field region. However, the large blue shifts of Ne VIII are generally not associated with open fields, but seem to be associated with the legs of closed magnetic loops. Moreover, in most cases significant upflows are found in both of the funnel-shaped loop legs. These quasi-steady upflows are regarded as signatures of mass supply to the coronal loops rather than the solar wind. Our observational result also reveals that in many cases the upflows in the upper transition region (TR) and the downflows in the middle TR are not fully cospatial. Based on these new observational results, we suggest different TR structures in coronal holes and in the quiet Sun.Comment: 4 pages, 4 figures, will appear in the Proceedings of the Solar wind 12 conferenc

Phonon anomaly in BaFe2As2

The detailed optical properties of BaFe2As2 have been determined over a wide frequency range above and below the structural and magnetic transition at T_N = 138 K. A prominent in-plane infrared-active mode is observed at 253 cm^{-1} (31.4 meV) at 295 K. The frequency of this vibration shifts discontinuously at T_N; for T < T_N the frequency of this mode displays almost no temperature dependence, yet it nearly doubles in intensity. This anomalous behavior appears to be a consequence of orbital ordering in the Fe-As layers.Comment: 4 pages, 3 figures and one table (minor revisions

Observation of indirect ionization of W7+ in an electron-beam ion-trap plasma

In this work, visible and extreme ultraviolet spectra of W7+ are measured using the high-temperature superconducting electron-beam ion trap (EBIT) at the Shanghai EBIT Laboratory under extremely low-energy conditions (lower than the nominal electron-beam energy of 130 eV). The relevant atomic structure is calculated using the flexible atomic code package based on the relativistic configuration interaction method. The GRASP2K code, in the framework of the multiconfiguration Dirac-Hartree-Fock method, is employed as well for calculating the wavelength of the M1 transition in the ground configuration of W7+. A line from the W7+ ions is observed at a little higher electron-beam energy than the ionization potential for W4+, making this line appear to be from W5+. A hypothesis for the charge-state evolution of W7+ is proposed based on our experimental and theoretical results; that is, the occurrence of W7+ ions results from indirect ionization caused by stepwise excitation between some metastable states of lower-charge-state W ions, at the nominal electron-beam energy of 59 eV

Molecular Motor of Double-Walled Carbon Nanotube Driven by Temperature Variation

An elegant formula for coordinates of carbon atoms in a unit cell of a single-walled nanotube (SWNT) is presented and a new molecular motor of double-walled carbon nanotube whose inner tube is a long (8,4) SWNT and outer tube a short (14,8) SWNT is constructed. The interaction between inner an outer tubes is analytically derived by summing the Lennard-Jones potentials between atoms in inner and outer tubes. It is proved that the molecular motor in a thermal bath exhibits a directional motion with the temperature variation of the bath.Comment: 9 pages, 4 figures, revtex

THE STUDY OF RELATED FACTORS WITH BALL VELOCITY OF THROWING OF GIRLS AGED 11-12 YEARS OLD

INTRODUCTION: The forceful overarm throwing is considered a fundamental movement for many skills. In addition, it is also regards as a characteristic of child’s development. As to the researches of development, gender difference is also concerned by experts of development. Research related to child motor development traditionally follow the structure of Burton’s (1992) on amendment of Development Sequences for Overhand Throwing table to measure throwing patterns. But overarm throwing is a kind of fast motion especially for the period which is from backswing to release. The traditional way mentioned above can’t provide detailed data. The purpose of the study was to find out the related factors with ball velocity of throwing of girls aged 11-12 years

General approach for in vivo recovery of cell type-specific effector gene sets

Differentially expressed, cell type-specific effector gene sets hold the key to multiple important problems in biology, from theoretical aspects of developmental gene regulatory networks (GRNs) to various practical applications. Although individual cell types of interest have been recovered by various methods and analyzed, systematic recovery of multiple cell type-specific gene sets from whole developing organisms has remained problematic. Here we describe a general methodology using the sea urchin embryo, a material of choice because of the large-scale GRNs already solved for this model system. This method utilizes the regulatory states expressed by given cells of the embryo to define cell type and includes a fluorescence activated cell sorting (FACS) procedure that results in no perturbation of transcript representation. We have extensively validated the method by spatial and qualitative analyses of the transcriptome expressed in isolated embryonic skeletogenic cells and as a consequence, generated a prototypical cell type-specific transcriptome database